Generalizations of Boolean products for lattice-ordered algebras
نویسندگان
چکیده
منابع مشابه
Generalizations of Boolean products for lattice-ordered algebras
It is shown that the Boolean center of complemented elements in a bounded integral residuated lattice characterizes direct decompositions. Generalizing both Boolean products and poset sums of residuated lattices, the concepts of poset product, Priestley product and Esakia product of algebras are defined and used to prove decomposition theorems for various ordered algebras. In particular, we sho...
متن کاملBoolean algebras over partially ordered sets
Being the crossroads between Algebra, Topology, Logic, Set Theory and the Theory of Order; the class of Boolean algebras over partially ordered sets were look at as one of the sources, providing over time, new insights in Boolean algebras. Some constructions and their interconnections will be discussed, motivating along the way a list of open problems. Mathematics Subject Classification (MSC 20...
متن کاملMonoids, Boolean Algebras, Materially Ordered Sets
In this paper, the interplay between certain mathematical structures is elucidated. First, it is shown that there is a one-to-one correspondence between bounded half-lattices and commutative idempotent monoids (c.i.-monoids). Adding certain additional structural ingredients and axioms, such c.i.-momoids become Boolean algebras. There is a non-trivial one-to-one correspondence between these and ...
متن کاملSemi-linear Varieties of Lattice-Ordered Algebras
We consider varieties of pointed lattice-ordered algebras satisfying a restricted distributivity condition and admitting a very weak implication. Examples of these varieties are ubiquitous in algebraic logic: integral or distributive residuated lattices; their {·}-free subreducts; their expansions (hence, in particular, Boolean algebras with operators and modal algebras); and varieties arising ...
متن کاملPermutational Products of Lattice Ordered Groups
Let H be a group, let {G(: i e 1} be a set of groups and, for each i, let 9t be a a monomorphism: H -* Gt, with H9t = Hi. We call such a system of groups and monomorphisms an amalgam and denote it by [G{; H; 9,; / / , ] . By an embedding of the amalgam into a group G is meant a set of monomorphisms (p; : G; -*• G such that 9i<pi = 0j<Pj-, for all i,j and G,<P; n Gjcpj — H9k<pk, for all i,j, k. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2009
ISSN: 0168-0072
DOI: 10.1016/j.apal.2009.05.005